یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
- author جابر کریمپور ینگجه
- adviser میرکمال میرنیا
- Number of pages: First 15 pages
- publication year 1387
abstract
چکیده ندارد.
similar resources
رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی
از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...
full textیک روش توسعه یافته صوری برای توصیف رابط مولفه ها در طراحی سیستم های مبتنی بر مولفه
امروزه استفاده از سیستم های بزرگ کامپیوتری جزء ملزومات جداناپذیر در زندگی بشریت است. با بزرگ شدن سیستم ها، پیچیدگی نیز به صورت نمایی بزرگ می شود. برای غلبه بر پیچیدگی سیستم ها، بحث مهندسی نرم افزار مبتنی بر مولفه ها مطرح شده که تا به امروز موفقیت هایی نیز در این راستا کسب کرده است. جهت توصیف مولفه ها و تعامل آنها زبان های مختلفی با استفاده از روش های ریاضی و نظریه خودکارها ارائه شده اند که آنها...
15 صفحه اولتوصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...
چهارچوب ارزیابی و انتخاب بسته های نرم افزاری: روش یک سیستم مبتنی بر اطلاعات ترکیبی
ارزیابی و گزینش بسته های نرم افزاری پروسه ی تصمیم گیری و وقت گیری است. انتخاب بسته ی نرم افزاری نامناسب می تواند پرهزینه باشد و در مقابل پروسه های تجاری و عملکرد سازمان را تحت تاثیر قرار می دهد. در این پروژه ما به توصیف موارد زیر می پردازیم: (1) روشهای کلی و جامع انتخاب نرم افزار، (2) معیار ارزیابی نرم افزار و (3) رویکرد سیستمی بر مبنای اطلاعات ترکیبی به منظور یاری رساندن به تصمیم گیرندگان در ا...
15 صفحه اولتوصیف و وارسی صوری رفتار مولفه های سیستم های بلادرنگ
درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها...
My Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023